diff options
| author | unammx <unammx> | 2001-08-24 20:08:12 +0000 |
|---|---|---|
| committer | unammx <unammx> | 2001-08-24 20:08:12 +0000 |
| commit | 484d2a1193cb183a9392390fac0d1d34a1e9d081 (patch) | |
| tree | ceff2fe244277ec7c77f1531d6157219b40ff760 /users-conf.in | |
| parent | 1424b2e7d72993189e2e66badd3aac8986e74190 (diff) | |
Wed Aug 22 22:16:03 2001 Arturo Espinosa Aldama <arturo@ximian.com>
* *-conf.in: Check for ___scriptsdir___ value. If it is
___scriptsdir__, then require files on the pwd. This way we
can call backend-conf.in directly, and without make installing.
Diffstat (limited to 'users-conf.in')
| -rw-r--r-- | users-conf.in | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/users-conf.in b/users-conf.in index a5e7186..65fe7ad 100644 --- a/users-conf.in +++ b/users-conf.in @@ -43,12 +43,15 @@ BEGIN { -require "___scriptsdir___/general.pl"; -require "___scriptsdir___/platform.pl"; -require "___scriptsdir___/util.pl"; -require "___scriptsdir___/file.pl"; -require "___scriptsdir___/xml.pl"; -require "___scriptsdir___/replace.pl"; + $SCRIPTSDIR = "$SCRIPTSDIR"; + $SCRIPTSDIR = "." if ($SCRIPTSDIR =~ /^___/); + + require "$SCRIPTSDIR/general.pl"; + require "$SCRIPTSDIR/platform.pl"; + require "$SCRIPTSDIR/util.pl"; + require "$SCRIPTSDIR/file.pl"; + require "$SCRIPTSDIR/xml.pl"; + require "$SCRIPTSDIR/replace.pl"; } |