no more makefile
This commit is contained in:
parent
1c522de187
commit
39b2721eb3
1 changed files with 0 additions and 17 deletions
|
|
@ -1,17 +0,0 @@
|
||||||
MYPATH=$(pwd)
|
|
||||||
CUR_MAKEFILE=$MYPATH/Makefile
|
|
||||||
if [ -e $CUR_MAKEFILE ]
|
|
||||||
then
|
|
||||||
echo "regenerate Makefile"
|
|
||||||
sed "`grep -n 'SRC_BASE =' $CUR_MAKEFILE | sed 's/:.*//'`, \$d" $CUR_MAKEFILE > NEWMAKEFILE
|
|
||||||
grep 'SRC_BASE =' $CUR_MAKEFILE >> NEWMAKEFILE
|
|
||||||
expr "$(find ./src | grep "\.c" | sed -e 's/src\///' -e 's/\.\///' -e 's/$/\\/')" : "\(.*\).$" >> NEWMAKEFILE
|
|
||||||
echo "" >> NEWMAKEFILE
|
|
||||||
grep 'SRCS =' $CUR_MAKEFILE >> NEWMAKEFILE
|
|
||||||
sed "1, `grep -n 'SRCS =' $CUR_MAKEFILE | sed 's/:.*//'`d" $CUR_MAKEFILE >> NEWMAKEFILE
|
|
||||||
mv $CUR_MAKEFILE ~/Documents/.OLDMakefile
|
|
||||||
mv NEWMAKEFILE $CUR_MAKEFILE
|
|
||||||
echo "Makefile done (copy still alive in ~/Documents/.OLDMakefile)"
|
|
||||||
else
|
|
||||||
echo "Makefile not found."
|
|
||||||
fi
|
|
||||||
Loading…
Reference in a new issue