diff options
Diffstat (limited to 'biology/psi88/files/patch-unix_rpsi1')
| -rw-r--r-- | biology/psi88/files/patch-unix_rpsi1 | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/biology/psi88/files/patch-unix_rpsi1 b/biology/psi88/files/patch-unix_rpsi1 new file mode 100644 index 000000000000..494065d08251 --- /dev/null +++ b/biology/psi88/files/patch-unix_rpsi1 @@ -0,0 +1,19 @@ +*** unix/rpsi1.orig Sat May 25 03:50:02 1991 +--- unix/rpsi1 Thu Nov 12 11:25:41 1998 +*************** +*** 10,16 **** + # + # Run PSI1/88 using cmdlin.psi1 as input + # +! time ./PSI1 < $1.psi1 + # + # remove any old files with the target name + # +--- 10,16 ---- + # + # Run PSI1/88 using cmdlin.psi1 as input + # +! time PSI1 < $1.psi1 + # + # remove any old files with the target name + # |