makefile --> Makefile
This commit is contained in:
parent
56fff3d6cd
commit
2c413b9455
1 changed files with 5 additions and 5 deletions
|
@ -48,20 +48,20 @@ then
|
|||
else
|
||||
mv Xclashes clashes
|
||||
fi
|
||||
rm -f makefile
|
||||
rm -f Makefile
|
||||
for i in `cat $PW/Cfiles`
|
||||
do
|
||||
cat >> makefile <<EOF
|
||||
cat >> Makefile <<EOF
|
||||
|
||||
$i: clashes $PW/$i
|
||||
cid -Fclashes < $PW/$i > $i
|
||||
EOF
|
||||
done
|
||||
make EMHOME=$EMHOME `cat $PW/Cfiles`
|
||||
rm -f makefile
|
||||
ed - $PW/makefile <<'EOF'
|
||||
rm -f Makefile
|
||||
ed - $PW/Makefile <<'EOF'
|
||||
/^#EXCLEXCL/,/^#INCLINCL/d
|
||||
w makefile
|
||||
w Makefile
|
||||
q
|
||||
EOF
|
||||
make EMHOME=$EMHOME COPTIONS=$options CURRDIR=$PW $target
|
||||
|
|
Loading…
Reference in a new issue