diff options
Diffstat (limited to 'mkconfig.sh')
| -rwxr-xr-x | mkconfig.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/mkconfig.sh b/mkconfig.sh index 54a91c2..fef0de0 100755 --- a/mkconfig.sh +++ b/mkconfig.sh @@ -36,14 +36,6 @@ case $OS in exit 1 esac -# Create the gnatprep defs file -# Determine the arch -rm -f $CONFIG -ARCH=$(uname -m) -if [ $(expr $ARCH : 'i*86') -o $(expr $ARCH : 'amd64') -o $(expr $ARCH : 'x86_64') ]; then - echo "X86 := True" >> $CONFIG -fi - $GNATPREP -D LINUX=$HVINFO_LINUX \ -D FREEBSD=$HVINFO_FREEBSD \ -D VERSION=\"$VERSION\" \ |