diff options
| author | Ulf Hermann <[email protected]> | 2017-04-06 15:14:09 +0200 |
|---|---|---|
| committer | Ulf Hermann <[email protected]> | 2017-05-08 09:45:39 +0000 |
| commit | e5cde7378c246a32d7dbc3bff8db15befad8b1a9 (patch) | |
| tree | 7586f1b4901236f1dbe28e022d6a4c9b84bef74e /tests/run-addrname-test.sh | |
| parent | 037d971fa81644af1d3be30db409309155fda721 (diff) | |
Use OS-specific paths
In general we need to use ';' as path separator and '\' and directory
separator on windows. The shell will automatically translate paths to
some extent, but we have to call "pwd -W" rather than plain "pwd" to
get something useful.
Change-Id: I1a117d219a2aa00c1f77ae7d3a1d92b9bae526db
Reviewed-by: Christian Kandeler <[email protected]>
Diffstat (limited to 'tests/run-addrname-test.sh')
| -rwxr-xr-x | tests/run-addrname-test.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/run-addrname-test.sh b/tests/run-addrname-test.sh index 90e19df7..69d81899 100755 --- a/tests/run-addrname-test.sh +++ b/tests/run-addrname-test.sh @@ -58,10 +58,10 @@ testfiles testfile12 testfile14 tempfiles testmaps cat > testmaps <<EOF -00400000-00401000 r-xp 00000000 fd:01 4006812 `pwd`/testfile14 -00500000-00501000 rw-p 00000000 fd:01 4006812 `pwd`/testfile14 -01000000-01001000 r-xp 00000000 fd:01 1234567 `pwd`/testfile12 -01100000-01011000 rw-p 00000000 fd:01 1234567 `pwd`/testfile12 +00400000-00401000 r-xp 00000000 fd:01 4006812 $work_dir/testfile14 +00500000-00501000 rw-p 00000000 fd:01 4006812 $work_dir/testfile14 +01000000-01001000 r-xp 00000000 fd:01 1234567 $work_dir/testfile12 +01100000-01011000 rw-p 00000000 fd:01 1234567 $work_dir/testfile12 2aaaaaaab000-2aaaaaaad000 rw-p 2aaaaaaab000 00:00 0 2aaaaaae2000-2aaaaaae3000 rw-p 2aaaaaae2000 00:00 0 7fff61068000-7fff6107d000 rw-p 7ffffffea000 00:00 0 [stack] |