git.annexia.org
/
goals.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
3ed50d5
)
build: Fix 'goals clean' rule.
author
Richard W.M. Jones
<rjones@redhat.com>
Fri, 3 Jan 2020 19:18:48 +0000
(19:18 +0000)
committer
Richard W.M. Jones
<rjones@redhat.com>
Fri, 3 Jan 2020 19:19:14 +0000
(19:19 +0000)
Goalfile.in
patch
|
blob
|
history
diff --git
a/Goalfile.in
b/Goalfile.in
index
2fcf7dd
..
07fd682
100644
(file)
--- a/
Goalfile.in
+++ b/
Goalfile.in
@@
-41,13
+41,16
@@
let objects = [
"src/main.cmx"
]
+let subdirs = [ "m4", "src", "stdlib", "tests" ]
+
goal all = : ocaml_link ("src/goals", objects)
goal clean = {
- for d in
`find -type d`
; do
+ for d in
%subdirs
; do
pushd $d
rm -f *~
rm -f *.cmi *.cmo *.cmx *.o
+ popd
done
rm -f src/parser.ml src/parser.mli src/lexer.ml src/parser.conflicts