diff options
| -rwxr-xr-x | misc/config/mkconfig.pl | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/misc/config/mkconfig.pl b/misc/config/mkconfig.pl index 8becf6dd0..02c42e267 100755 --- a/misc/config/mkconfig.pl +++ b/misc/config/mkconfig.pl @@ -16,11 +16,7 @@ my $PATCH = 7; ############################################################################# # Configuration options -# For me -my $OUTPUT_FILE = '../../../botan/configure.pl'; - -# For everyone else -#my $OUTPUT_FILE = 'configure.pl'; +my $OUTPUT_FILE = '../../configure.pl'; my $MODULES_DIR = 'modules'; my $CODE_DIR = 'code'; |