mirror of
https://github.com/zeek/zeek.git
synced 2025-10-01 22:28:20 +00:00
change distclean to only remove build dir
This commit is contained in:
parent
58a40ce29a
commit
8de668791a
5 changed files with 5 additions and 5 deletions
2
Makefile
2
Makefile
|
@ -45,7 +45,7 @@ bindist:
|
|||
./make-rpm-packages ) )
|
||||
|
||||
distclean:
|
||||
git reset --hard HEAD && git clean -xdf
|
||||
rm -rf $(BUILD)
|
||||
|
||||
configured:
|
||||
@test -d $(BUILD) || ( echo "Error: No build/ directory found. Did you run configure?" && exit 1 )
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue