Skip to main content

Browse the archive

Revision 69d174f5d4de49dec1b9c462eb584ba89ac0285f authored by Pierre Boutillier on 23 April 2019, 12:53:54 UTC, committed by Benjamin Canou on 23 April 2019, 16:12:39 UTC 
Makefile: make clean removes the dune-project files
1 parent ddbe199
Raw File
dune 
(env
 (dev
  (flags (:standard)))
 (release
  (flags (:standard -O3))))

(alias
 (name runtest)
 (deps (alias_rec runtest_indent)))

(alias
 (name runtest)
 (deps (alias_rec runtest_sandbox)))
back to top