| commit | 5ae73c8f75c929e4ebb73f19b8462129d00db26b | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sun Mar 17 21:46:48 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sun Mar 17 21:46:48 2002 +0000 |
| tree | f0737c28e6bdbbb43a8baf72ca259ba15cdc6c07 | |
| parent | 240083177368a929a4ab15098a94b0a6f71aeeed [diff] [blame] |
Patch by Michael Pruett: make regen work on Irix 6.0 and 6.5.
diff --git a/Lib/plat-irix6/regen b/Lib/plat-irix6/regen index c950a47..6a2cb40 100755 --- a/Lib/plat-irix6/regen +++ b/Lib/plat-irix6/regen
@@ -1,6 +1,7 @@ #! /bin/sh case `uname -sr` in -'IRIX '[45].*) ;; +'IRIX '[456].*) ;; +'IRIX64 '[456].*) ;; *) echo Probably not on an IRIX system 1>&2 exit 1;; esac