diff options
Diffstat (limited to 'Donjon/data/pincell_pdrop.access')
| -rwxr-xr-x | Donjon/data/pincell_pdrop.access | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Donjon/data/pincell_pdrop.access b/Donjon/data/pincell_pdrop.access index 31ce67c..337df39 100755 --- a/Donjon/data/pincell_pdrop.access +++ b/Donjon/data/pincell_pdrop.access @@ -4,7 +4,7 @@ if [ $# = 0 ] 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/pincell_mphy_thm_proc/_ACompo_pincell _ACompo ln -s "$1"/data/assertS_low.c2m . ls -l echo "pincell_mphy_thm access script terminated" |