diff options
| author | Alasdair Armstrong | 2017-07-05 16:51:26 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-05 16:51:26 +0100 |
| commit | 5f46cb01ed07fbca390535440f77f1816cb61684 (patch) | |
| tree | c2874e1b085b4101f7eb295eb37fcd0acaa2a2d5 /src/Makefile | |
| parent | ddc487757360eb2c0ec1adaf2f333c23df3f250a (diff) | |
| parent | 9cb879efde58abfd5cc4ae8b2d0344902c983cde (diff) | |
Merge remote-tracking branch 'origin/word' into sail_new_tc
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index be1eb9e5..a58646b1 100644 --- a/src/Makefile +++ b/src/Makefile @@ -40,7 +40,7 @@ # SUCH DAMAGE. # ########################################################################## -.PHONY: all sail test clean doc lib power test_power test_idempotence +.PHONY: all sail sail.native sail.byte test clean doc lib power test_power test_idempotence # set to -p on command line to enable gprof profiling OCAML_OPTS?= |