diff options
| author | Bruce Momjian | 1996-10-05 20:29:57 +0000 |
|---|---|---|
| committer | Bruce Momjian | 1996-10-05 20:29:57 +0000 |
| commit | f29e02017acc1b2afcbfa1cb3c9038f3e02f2391 (patch) | |
| tree | fed61afb1287e9f3613c4f1468d865ed50152527 | |
| parent | a974522f5fb0ef5391015a9e69ff90a667dae0ef (diff) | |
Replace double // with /. THis confuses mkid.
| -rw-r--r-- | src/MAKE_ID | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/MAKE_ID b/src/MAKE_ID index a667bc23573..01ed0f079b2 100644 --- a/src/MAKE_ID +++ b/src/MAKE_ID @@ -1,5 +1,5 @@ #!/bin/sh -find `pwd`/ -type f -name '*.[chyl]' -print|mkid -S.gen=C - +find `pwd`/ -type f -name '*.[chyl]' -print|sed 's;//;/;g' | mkid -S.gen=C - find . -type d -print |while read DIR do |