168 |
|
|
169 |
# Backup of original Makefile and config.h |
# Backup of original Makefile and config.h |
170 |
|
|
171 |
if [ ! -f .Makefile ]; then cp Makefile .Makefile; fi |
if [ ! -f .Makefile ]; then cp -f Makefile .Makefile; fi |
172 |
if [ ! -f .config.h ]; then cp config.h .config.h; fi |
if [ ! -f .config.h ]; then cp -f config.h .config.h; fi |
173 |
|
|
174 |
|
|
175 |
# Write Makefile |
# Write Makefile |
176 |
|
|
177 |
mv Makefile Makefile~ |
mv -f Makefile Makefile~ |
178 |
|
|
179 |
cat > Makefile << EOF |
cat > Makefile << EOF |
180 |
CC = cc |
CC = cc |
222 |
|
|
223 |
# Write config.h |
# Write config.h |
224 |
|
|
225 |
mv config.h config.h~ |
mv -f config.h config.h~ |
226 |
|
|
227 |
echo "/* Debugging information. */" > config.h |
echo "/* Debugging information. */" > config.h |
228 |
if [ $debug = "yes" ] |
if [ $debug = "yes" ] |