diff options
Diffstat (limited to 'math/petsc/files/patch-config_configure.py')
| -rw-r--r-- | math/petsc/files/patch-config_configure.py | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/math/petsc/files/patch-config_configure.py b/math/petsc/files/patch-config_configure.py deleted file mode 100644 index e5be99315905..000000000000 --- a/math/petsc/files/patch-config_configure.py +++ /dev/null @@ -1,11 +0,0 @@ ---- ./config/configure.py.orig Sat Sep 2 02:24:13 2006 -+++ ./config/configure.py Sat Sep 2 23:23:33 2006 -@@ -97,7 +97,7 @@ - print ' *** Do not run configure as root, or using sudo. ***' - print ' ***** That should be reserved for installation *****' - print '=================================================================================' -- sys.exit(3) -+ #sys.exit(3) - - # Check for broken cygwin - if chkcygwin(): |