586 |
INCLUDEDIRS= |
INCLUDEDIRS= |
587 |
STANDARDDIRS="USE_THE_DEFAULT" |
STANDARDDIRS="USE_THE_DEFAULT" |
588 |
|
|
589 |
|
G2ARGS= |
590 |
BASH= |
BASH= |
591 |
PWD=`pwd` |
PWD=`pwd` |
592 |
MAKE=make |
MAKE=make |
680 |
ac_prev= |
ac_prev= |
681 |
for ac_option ; do |
for ac_option ; do |
682 |
|
|
683 |
|
G2ARGS="$G2ARGS \"$ac_option\"" |
684 |
|
|
685 |
# If the previous option needs an argument, assign it. |
# If the previous option needs an argument, assign it. |
686 |
if test -n "$ac_prev"; then |
if test -n "$ac_prev"; then |
687 |
eval "$ac_prev=\$ac_option" |
eval "$ac_prev=\$ac_option" |
1539 |
echo "# This makefile was generated automatically on" >> $MAKEFILE |
echo "# This makefile was generated automatically on" >> $MAKEFILE |
1540 |
echo "# $THISDATE" >> $MAKEFILE |
echo "# $THISDATE" >> $MAKEFILE |
1541 |
echo "# by the command:" >> $MAKEFILE |
echo "# by the command:" >> $MAKEFILE |
1542 |
echo "# $0 $@" >> $MAKEFILE |
echo "# $0 $G2ARGS" >> $MAKEFILE |
1543 |
echo "# executed by:" >> $MAKEFILE |
echo "# executed by:" >> $MAKEFILE |
1544 |
echo "# $USER@${THISHOSTNAME}:${THISCWD}" >> $MAKEFILE |
echo "# $USER@${THISHOSTNAME}:${THISCWD}" >> $MAKEFILE |
1545 |
|
|
1686 |
|
|
1687 |
#eh3 Makefile: makefile |
#eh3 Makefile: makefile |
1688 |
makefile: |
makefile: |
1689 |
$THIS_SCRIPT $@ |
$THIS_SCRIPT $G2ARGS |
1690 |
cleanlinks: |
cleanlinks: |
1691 |
-find . -type l -exec rm {} \; |
-find . -type l -exec rm {} \; |
1692 |
|
|