diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-08-02 15:26:58 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-08-02 16:18:16 -0700 |
| commit | 7f402c85eb34a739055dc3e5bb4be337169ec68c (patch) | |
| tree | cbb0365029213b87f8da70b00268bf8981b9a892 /build_and_test_until | |
| parent | d082b17675f40037b0e6c26384d99362acd0749e (diff) | |
| download | mu-7f402c85eb34a739055dc3e5bb4be337169ec68c.tar.gz | |
1921 - show trace by clicking on code
Region to click on to edit is now reduced to just the menu bar for the sandbox (excluding the 'x' for deleting the sandbox). The symmetry there might be useful, but we'll see if the relative click area is in line with how commonly the actions are performed.
Diffstat (limited to 'build_and_test_until')
| -rwxr-xr-x | build_and_test_until | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build_and_test_until b/build_and_test_until index b83db304..20845064 100755 --- a/build_and_test_until +++ b/build_and_test_until @@ -9,5 +9,5 @@ make enumerate/enumerate ./tangle/tangle $(./enumerate/enumerate --until $* |grep -v '.mu$') |grep -v "^\s*//:" > mu.cc cat /dev/null $(./enumerate/enumerate --until $* |grep '.mu$') > core.mu make autogenerated_lists -make valgrind -#? make test #? 2 +make valgrind #? 1 +#? make test #? 3 |