diff options
Diffstat (limited to 'helpers/mkdep.sh')
| -rwxr-xr-x | helpers/mkdep.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/helpers/mkdep.sh b/helpers/mkdep.sh deleted file mode 100755 index 510bdc02f..000000000 --- a/helpers/mkdep.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh -# -# 1) remove everything after the DO NOT REMOVE -# 2) generate the dependencies, adding them to the end of Makefile.new -# 3) move the Makefile.new back into place -# -# Note that we use && to ensure that Makefile is not changed if an error -# occurs during the process -# -sed -ne '1,/^# DO NOT REMOVE/p' Makefile > Makefile.new \ - && gcc -MM $* | sed -e "s/\.o:/\.lo:/" >> Makefile.new \ - && mv Makefile.new Makefile |