diff options
| author | Alasdair Armstrong | 2017-12-11 20:40:13 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-12-11 20:40:13 +0000 |
| commit | 69fd2187cf4a09bb0954d481c6ce8fb3b5863ab8 (patch) | |
| tree | b2f9c858db1e9729b8fb92e8b570c9b6e6fc7254 /Makefile | |
| parent | 89d1f43805ec64ff3537026a84d9a7816a5c23a6 (diff) | |
Allow stepping through code when evaluating
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ .PHONY: all sail language clean archs isabelle-lib apply_header -all: sail interpreter +all: sail sail: $(MAKE) -C src |