diff options
Diffstat (limited to 'Build')
-rwxr-xr-x | Build/source/reautoconf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/reautoconf b/Build/source/reautoconf index 6ded33b7978..6ef35f4c6b1 100755 --- a/Build/source/reautoconf +++ b/Build/source/reautoconf @@ -1,6 +1,7 @@ #! /bin/sh echo "autoconf stuff in transition, do not use! --peb/martin/karl 1feb08" +exit 1 /bin/false # $Id$ |