diff options
| author | Peter Sewell | 2017-02-02 13:14:29 +0000 |
|---|---|---|
| committer | Peter Sewell | 2017-02-02 13:14:29 +0000 |
| commit | ba013c46a3d03448c5b0747e032f2d35d1c3fa12 (patch) | |
| tree | c9c215f7ea253498c293beb4336f4b2b3701e508 /arm | |
| parent | 672be2d89e8a0784f7abf9e48d943c9d6c4c60a5 (diff) | |
K,P debrief
Diffstat (limited to 'arm')
| -rw-r--r-- | arm/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arm/Makefile b/arm/Makefile index 99c7998f..641a907e 100644 --- a/arm/Makefile +++ b/arm/Makefile @@ -1,6 +1,6 @@ BUILDDIR=./build -SAIL=../sail +SAIL=../sail -verbose ifeq ("$(wildcard $(SAIL))","") $(warning can not find Sail) endif |