| commit | 02174b90dcdc79bdfebcfd4fe0aa9a2efcfca89e | [log] [tgz] |
|---|---|---|
| author | Christoph M. Wintersteiger <cwinter@microsoft.com> | Fri Feb 15 12:39:21 2019 +0000 |
| committer | Janos Follath <janos.follath@arm.com> | Mon Aug 19 13:37:46 2019 +0100 |
| tree | af170c71209dd83350f003a3a70b2711bb3eaa2c | |
| parent | 41fb2c05e807f842ba01e902c857db1dbf2029a9 [diff] |
3rdparty: Fix Makefile coding conventions
diff --git a/3rdparty/everest/Makefile.inc b/3rdparty/everest/Makefile.inc old mode 100755 new mode 100644 index 0b71e2a..7ca70ec --- a/3rdparty/everest/Makefile.inc +++ b/3rdparty/everest/Makefile.inc
@@ -16,3 +16,4 @@ ../3rdparty/everest/library/kremlib/FStar_UInt128_extracted.o endif endif +