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

/barrelfish-master/usr/eclipseclp/Alog/src/
H A Dconfigure22 no_create=
237 no_create=yes ;;
879 test "$no_create" = yes || ${CONFIG_SHELL-/bin/sh} $CONFIG_STATUS || exit 1
/barrelfish-master/usr/eclipseclp/Usc/src/
H A Dconfigure22 no_create=
237 no_create=yes ;;
1168 test "$no_create" = yes || ${CONFIG_SHELL-/bin/sh} $CONFIG_STATUS || exit 1
/barrelfish-master/usr/eclipseclp/Pds/src/
H A Dconfigure22 no_create=
237 no_create=yes ;;
1590 test "$no_create" = yes || ${CONFIG_SHELL-/bin/sh} $CONFIG_STATUS || exit 1
/barrelfish-master/usr/eclipseclp/Shm/src/
H A Dconfigure322 no_create=
486 no_create=yes ;;
6881 if test "$no_create" != yes; then
/barrelfish-master/usr/eclipseclp/
H A Dconfigure833 no_create=
1047 no_create=yes ;;
10675 if test "$no_create" != yes; then

Completed in 112 milliseconds