gnustep/tools-make
0
0
Fork 0
mirror of https://github.com/gnustep/tools-make.git synced 2025-04-22 22:00:49 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Regenerated

Browse source 
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/tools/make/trunk@13358 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
Nicola Pero 2002-04-04 16:08:03 +00:00
parent 181be17f50
commit 383d13b1b7
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
configure vendored
View file

@ -1646,7 +1646,7 @@ echo "configure:1646: checking for GNUSTEP_USER_ROOT to be forced for all users"
# Check whether --with-user-root or --without-user-root was given.
if test "${with_user_root+set}" = set; then
withval="$with_user_root"
FORCE_USER_ROOT="-DFORCE_USER_ROOT=$withval"
FORCE_USER_ROOT="-DFORCE_USER_ROOT=\"$withval\""
else
FORCE_USER_ROOT=""
@ -1660,7 +1660,7 @@ echo "configure:1660: checking for GNUSTEP_DEFAULTS_ROOT to be forced for all us
# Check whether --with-defaults-root or --without-defaults-root was given.
if test "${with_defaults_root+set}" = set; then
withval="$with_defaults_root"
FORCE_DEFAULTS_ROOT="-DFORCE_DEFAULTS_ROOT=$withval"
FORCE_DEFAULTS_ROOT="-DFORCE_DEFAULTS_ROOT=\"$withval\""
else
FORCE_DEFAULTS_ROOT=""