printf -v COUNT "%02d" ${VALUE}
IN="?_include_ltt_ltt-facility-core.h
-?_include_ltt_ltt-facility-id-core.h"
+?_include_ltt_ltt-facility-id-core.h
+?_include_ltt_ltt-facility-select-core.h"
for a in $IN; do wr $a $FILE; done
?_include_ltt_ltt-facility-network.h
?_include_ltt_ltt-facility-network_ip_interface.h
?_include_ltt_ltt-facility-process.h
-?_include_ltt_ltt-facility-select-core.h
?_include_ltt_ltt-facility-select-default.h
?_include_ltt_ltt-facility-select-kernel.h
?_include_ltt_ltt-facility-select-network_ip_interface.h
printf -v COUNT "%02d" ${VALUE}
IN="?_include_ltt_ltt-facility-core.h
-?_include_ltt_ltt-facility-id-core.h"
+?_include_ltt_ltt-facility-id-core.h
+?_include_ltt_ltt-facility-select-core.h"
for a in $IN; do wr $a $FILE; done