diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/configure b/configure deleted file mode 100755 index 6de0d998..00000000 --- a/configure +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh - -perl ./infrastructure/makebuildenv.pl $1 $2 $3 $4 $5 $6 $7 $8 $9 -if [ "$?" -ne "0" ]; then - exit 1 -fi -perl ./infrastructure/makeparcels.pl - -echo -echo Type \'make\' to build the installation parcels. -echo -echo Then use the install scripts inside 'parcels/<dir>' to install -echo the components you need. -echo -echo |