Searched refs:CONFIG_STATUS (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/usr/eclipseclp/Usc/src/
H A Dconfigure882 trap 'rm -f $CONFIG_STATUS conftest*; exit 1' 1 2 15
887 : ${CONFIG_STATUS=./config.status}
889 echo creating $CONFIG_STATUS
890 rm -f $CONFIG_STATUS
891 cat > $CONFIG_STATUS <<EOF
903 ac_cs_usage="Usage: $CONFIG_STATUS [--recheck] [--version] [--help]"
911 echo "$CONFIG_STATUS generated by autoconf version 2.12"
923 cat >> $CONFIG_STATUS <<EOF
960 cat >> $CONFIG_STATUS <<\EOF
995 cat >> $CONFIG_STATUS <<EO
[all...]
/barrelfish-master/usr/eclipseclp/Alog/src/
H A Dconfigure688 trap 'rm -f $CONFIG_STATUS conftest*; exit 1' 1 2 15
705 : ${CONFIG_STATUS=./config.status}
707 echo creating $CONFIG_STATUS
708 rm -f $CONFIG_STATUS
709 cat > $CONFIG_STATUS <<EOF
721 ac_cs_usage="Usage: $CONFIG_STATUS [--recheck] [--version] [--help]"
729 echo "$CONFIG_STATUS generated by autoconf version 2.12"
741 cat >> $CONFIG_STATUS <<EOF
778 cat >> $CONFIG_STATUS <<\EOF
813 cat >> $CONFIG_STATUS <<EO
[all...]
/barrelfish-master/usr/eclipseclp/Pds/src/
H A Dconfigure1300 trap 'rm -f $CONFIG_STATUS conftest*; exit 1' 1 2 15
1305 : ${CONFIG_STATUS=./config.status}
1307 echo creating $CONFIG_STATUS
1308 rm -f $CONFIG_STATUS
1309 cat > $CONFIG_STATUS <<EOF
1321 ac_cs_usage="Usage: $CONFIG_STATUS [--recheck] [--version] [--help]"
1329 echo "$CONFIG_STATUS generated by autoconf version 2.12"
1341 cat >> $CONFIG_STATUS <<EOF
1382 cat >> $CONFIG_STATUS <<\EOF
1417 cat >> $CONFIG_STATUS <<EO
[all...]
/barrelfish-master/usr/eclipseclp/Shm/src/
H A Dconfigure5873 : ${CONFIG_STATUS=./config.status}
5875 ac_clean_files="$ac_clean_files $CONFIG_STATUS"
5876 { echo "$as_me:$LINENO: creating $CONFIG_STATUS" >&5
5877 echo "$as_me: creating $CONFIG_STATUS" >&6;}
5878 cat >$CONFIG_STATUS <<_ACEOF
5891 cat >>$CONFIG_STATUS <<\_ACEOF
6159 echo "config_files=\"$ac_config_files\"" >>$CONFIG_STATUS
6163 echo "config_headers=\"$ac_config_headers\"" >>$CONFIG_STATUS
6167 echo "config_links=\"$ac_config_links\"" >>$CONFIG_STATUS
6171 echo "config_commands=\"$ac_config_commands\"" >>$CONFIG_STATUS
[all...]
/barrelfish-master/usr/eclipseclp/
H A Dconfigure9504 : "${CONFIG_STATUS=./config.status}"
9507 ac_clean_files="$ac_clean_files $CONFIG_STATUS"
9508 { $as_echo "$as_me:${as_lineno-$LINENO}: creating $CONFIG_STATUS" >&5
9509 $as_echo "$as_me: creating $CONFIG_STATUS" >&6;}
9511 cat >$CONFIG_STATUS <<_ASEOF || as_write_fail=1
9525 cat >>$CONFIG_STATUS <<\_ASEOF || as_write_fail=1
9890 ## Main body of $CONFIG_STATUS script. ##
9893 test $as_write_fail = 0 && chmod +x $CONFIG_STATUS || ac_write_fail=1
9895 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
9923 cat >>$CONFIG_STATUS <<_ACEO
[all...]

Completed in 111 milliseconds