6 |
rm -f o/*.ini |
rm -f o/*.ini |
7 |
fi |
fi |
8 |
|
|
9 |
(cd bin ; make file-sub EXE=${EXE} CC=${CC}) |
#(cd bin ; make file-sub EXE=${EXE} CC=${CC}) |
10 |
|
|
11 |
if [ $# -le 0 ] ; then |
if [ $# -le 0 ] ; then |
12 |
echo usage: ./add-defs machine-type; |
echo usage: ./add-defs machine-type; |
53 |
echo "# end makedefs" >> makedefs |
echo "# end makedefs" >> makedefs |
54 |
|
|
55 |
|
|
56 |
echo inserting h/$1.defs in .. |
# echo inserting h/$1.defs in .. |
57 |
for v in makefile unixport/make_kcn */makefile ; |
# for v in makefile unixport/make_kcn */makefile ; |
58 |
do |
# do |
59 |
echo " $v," |
# echo " $v," |
60 |
./bin/file-sub makedefs $v "# begin makedefs" "# end makedefs" tmpx |
# ./bin/file-sub makedefs $v "# begin makedefs" "# end makedefs" tmpx |
61 |
mv tmpx $v |
# mv tmpx $v |
62 |
done |
# done |
63 |
|
# |
64 |
echo "" |
#echo "" |
65 |
|
|
66 |
# Copy the config.h over. |
# Copy the config.h over. |
67 |
|
|