diff options
| author | Makarius Wenzel | 2005-05-31 07:54:32 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-05-31 07:54:32 +0000 |
| commit | 354cc4322d7820aa2cfe62f794f014c232cb8913 (patch) | |
| tree | b49b600aaf632ba6efa8751fa47d48da3e6b9bae | |
| parent | 4492a3058b492f7b579c880ae5a902d5948ba952 (diff) | |
use physical path;
| -rw-r--r-- | isa/interface | 2 | ||||
| -rw-r--r-- | isar/interface | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/isa/interface b/isa/interface index cab0a968..6d61243b 100644 --- a/isa/interface +++ b/isa/interface @@ -229,7 +229,7 @@ else /*) ;; */*) - LOGIC="$PWD/$LOGIC" + LOGIC="$(pwd -P)/$LOGIC" ;; esac diff --git a/isar/interface b/isar/interface index cab0a968..6d61243b 100644 --- a/isar/interface +++ b/isar/interface @@ -229,7 +229,7 @@ else /*) ;; */*) - LOGIC="$PWD/$LOGIC" + LOGIC="$(pwd -P)/$LOGIC" ;; esac |