diff options
Diffstat (limited to 'core/invariant/lin_invariant_core64.mak')
| -rw-r--r-- | core/invariant/lin_invariant_core64.mak | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/core/invariant/lin_invariant_core64.mak b/core/invariant/lin_invariant_core64.mak new file mode 100644 index 0000000..2ecbadf --- /dev/null +++ b/core/invariant/lin_invariant_core64.mak @@ -0,0 +1,3 @@ +ARCH := x86_64-linux-gnu +ARCH_DIR := 64 +include lin_invariant_core.mak |