diff options
| author | Loïc Hoguin <[email protected]> | 2015-12-15 11:42:07 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2015-12-15 11:42:07 +0100 |
| commit | 2cabf98110c8e58e8bea04149a081ca899be16d0 (patch) | |
| tree | de2bbf10e12d37ae0a605e9ef98a023f80189517 /test/plugin_shell.mk | |
| parent | 2819f56756353432ff7629c4731dc6a080f8b55e (diff) | |
| download | erlang.mk-2cabf98110c8e58e8bea04149a081ca899be16d0.tar.gz erlang.mk-2cabf98110c8e58e8bea04149a081ca899be16d0.tar.bz2 erlang.mk-2cabf98110c8e58e8bea04149a081ca899be16d0.zip | |
Make some rm -rf commands safer
This way if for some unknown reason $(APP_TO_CLEAN) isn't
defined, we don't delete the entire world.
Diffstat (limited to 'test/plugin_shell.mk')
| -rw-r--r-- | test/plugin_shell.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/plugin_shell.mk b/test/plugin_shell.mk index 474ef92..945ecb3 100644 --- a/test/plugin_shell.mk +++ b/test/plugin_shell.mk @@ -9,7 +9,7 @@ SHELL_CLEAN_TARGETS = $(addprefix clean-,$(SHELL_TARGETS)) clean-shell: $(SHELL_CLEAN_TARGETS) $(SHELL_CLEAN_TARGETS): - $t rm -rf $(APP_TO_CLEAN)/ + $t rm -rf $(APP_TO_CLEAN) shell: $(SHELL_TARGETS) |