Searched refs:config_headers (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/eclipseclp/
H A Dconfigure9926 config_headers="$ac_config_headers"
9954 $config_headers
10117 test "${CONFIG_HEADERS+set}" = set || CONFIG_HEADERS=$config_headers
/barrelfish-master/usr/eclipseclp/Shm/src/
H A Dconfigure6163 echo "config_headers=\"$ac_config_headers\"" >>$CONFIG_STATUS
6196 $config_headers
6319 test "${CONFIG_HEADERS+set}" = set || CONFIG_HEADERS=$config_headers

Completed in 168 milliseconds