diff options
| author | Erich Eckner <git@eckner.net> | 2019-09-02 13:04:48 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-09-02 13:04:48 +0200 |
| commit | a9d41f5770a068c16f4c7a59826febaed9f36665 (patch) | |
| tree | 3edd56db0829ba0552c5efb2b654aa50a8978e11 | |
| parent | 60bcc6097db7c05caee560e31eada48f831941b0 (diff) | |
| download | simple-pki-a9d41f5770a068c16f4c7a59826febaed9f36665.tar.xz | |
Makefile: rm -rf instead of rm
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -65,7 +65,7 @@ install-cb: clean: ls -A | \ grep "^\($(shell sed 's|\.|\\.|; s|\*|.*|; s|$$|\\|' .gitignore | tr '\n' '\|')\)\$$" | \ - xargs -r rm + xargs -r rm -rf --one-file-system dist: clean git status --porcelain 2> /dev/null | grep -q "\S" && (git add .; git commit -m"neue Version: $(VERSION)") || true |