diff --git a/mkmi b/mkmi new file mode 100755 index 0000000000000000000000000000000000000000..7c9f3e22ac2a85a10f8a9d30c69fe9eaf5f1ecbe --- /dev/null +++ b/mkmi @@ -0,0 +1,29 @@ +#!/bin/sh +for i in \ + Makefile \ + doc/Makefile \ + doc/man/Makefile \ + scripts/Makefile \ + src/Makefile \ + src/include/Makefile \ + src/include/server/Makefile \ + src/libraries/Makefile \ + src/libraries/libansi/Makefile \ + src/libraries/libcommon/Makefile \ + src/libraries/libisc-new/Makefile \ + src/libraries/libisc-new/src/Makefile \ + src/libraries/libmisc/Makefile \ + src/libraries/regex/Makefile \ + src/server/Makefile +do + rm -f $i.in2 + echo $i + m4 ./scripts/mkmi.m4 $i.src > $i.in2 + if cmp $i.in2 $i.in + then + rm -f $i.in2 + else + rm -f $i.in + mv $i.in2 $i.in + fi +done