diff options
| author | Miles Bader <miles@gnu.org> | 1997-06-24 17:53:51 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1997-06-24 17:53:51 +0000 |
| commit | c31c35eb7dce0579c4ae3f037e4f6ef26b62f8b6 (patch) | |
| tree | 63b05cb6b880c893a16e96d52f424cb458d3338e /libhurdbugaddr/Makefile | |
| parent | 356c92adbc829ecee6acd31e7d5910e4c7f97cf2 (diff) | |
(cmd):
New function.
(st, mkdir):
Use cmd to execute any real commands.
Use bash fancy variables instead of various programs.
Try to get the correct devdir even if it's not the cwd.
Add new options --verbose/-v and --dry-run/-n.
Add the --devdir/-D option.
Use the basename of $I instead of $I for various things.
Correctly put derived names in the same directory as the arg.
Diffstat (limited to 'libhurdbugaddr/Makefile')
0 files changed, 0 insertions, 0 deletions