projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 91d60f0) | patch
Remove passing $NATIVE on the remake command line of every target, since variable...
authorKim Nguyễn <kn@lri.fr>
Mon, 3 Mar 2014 18:44:50 +0000 (19:44 +0100)
committerKim Nguyễn <kn@lri.fr>
Mon, 3 Mar 2014 18:45:18 +0000 (19:45 +0100)
commitbe3f8efc9faf12df977b5e64a50868279fcb435b
treee98de1f9b160d8bd810b8d95c5eb5377fade0a9btree | snapshot
parent91d60f0cf46661abde8df94fead3688ec43a2db9commit | diff
Remove passing $NATIVE on the remake command line of every target, since variable contents are propagated.
Remakefile.in diff | blob | history
tools/ocamldriver.sh diff | blob | history
Tree Automata TOOlkit