mirror of
https://github.com/urbit/shrub.git
synced 2025-01-07 05:26:56 +03:00
Fix distclean
This commit is contained in:
parent
324186166c
commit
e54f4699ee
@ -20,4 +20,4 @@ OFILES=\
|
|||||||
all: ed25519.a($(OFILES))
|
all: ed25519.a($(OFILES))
|
||||||
|
|
||||||
clean:
|
clean:
|
||||||
-rm $(OFILES) ed25519.a
|
-rm -f $(OFILES) ed25519.a
|
||||||
|
Loading…
Reference in New Issue
Block a user