diff options
| author |  Robert C. Helling <helling@atdotde.de> | 2016-09-25 21:54:39 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2016-09-27 21:32:32 -0700 |
| commit | 434c27525a63de5a1ba00747f7b035f855249083 (patch) | |
| tree | 6165e904d952f574920461f59441702c0ecbf099 /scripts | |
| parent | fa2fcc4024440f96c23329a944b9ff9ff706a684 (diff) | |
| download | subsurface-434c27525a63de5a1ba00747f7b035f855249083.tar.gz | |
Document the heat map in the manual.
Signed-off-by: Robert C. Helling <helling@atdotde.de>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build.sh b/scripts/build.sh index 873bba789..b669a8d54 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -1,4 +1,4 @@ -#!/bin/bash -e +#!/bin/bash # # this should be run from the src directory, the layout is supposed to # look like this: |