diff options
Diffstat (limited to 'Donjon/data/pincell_pdrop.access')
| -rwxr-xr-x | Donjon/data/pincell_pdrop.access | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Donjon/data/pincell_pdrop.access b/Donjon/data/pincell_pdrop.access new file mode 100755 index 0000000..31ce67c --- /dev/null +++ b/Donjon/data/pincell_pdrop.access @@ -0,0 +1,10 @@ +#!/bin/sh +if [ $# = 0 ] + then + echo "usage: pincell_mphy_thm.access directory" 1>&2 + exit 1 +fi +ln -s "$1"/data/pincell_mphy_thm_proc/_ACompo _ACompo +ln -s "$1"/data/assertS_low.c2m . +ls -l +echo "pincell_mphy_thm access script terminated" |