diff options
Diffstat (limited to 'misc/config/code/header.pl')
-rw-r--r-- | misc/config/code/header.pl | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/misc/config/code/header.pl b/misc/config/code/header.pl new file mode 100644 index 000000000..baa310484 --- /dev/null +++ b/misc/config/code/header.pl @@ -0,0 +1,17 @@ +#!/usr/bin/perl -w + +# Warning: This file is machine-generated; any changes will be lost. Instead, +# change mkconfig.pl and the system description files. If you find a bug in +# this program (such as generation of incorrect options), please mail +# [email protected] with details. + +# This file is in the public domain. + +# It actually runs on a lot of 5.005 installs, but not all... +require 5.006; + +use strict; +use DirHandle; +use Getopt::Long; +use File::Spec; +use File::Copy; |