diff options
Diffstat (limited to 'Makeinstall.rc')
| -rwxr-xr-x | Makeinstall.rc | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/Makeinstall.rc b/Makeinstall.rc index 33c1cf9..c44832c 100755 --- a/Makeinstall.rc +++ b/Makeinstall.rc @@ -6,7 +6,17 @@ bin = $1 -scripts = `$nl{find . -perm 0755 -type f ! -name 'Make*' | grep -v '/\.' | sed 's/^\.\///'} +os = `uname +if (~ $os 'Linux') { + execarg = (-executable) +} else if (~ $os 'OpenBSD') { + execarg = (-perm 0755) +} else { + echo unsupported os: $os >[1=2] + exit 1 +} + +scripts = `$nl{find . $execarg -type f ! -name 'Make*' | grep -v '/\.' | sed 's/^\.\///'} touch .installed .dirsmade installed = `$nl{cat .installed} |