diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/vars.arm | 3 | ||||
| -rw-r--r-- | debian/vars.arm64 | 3 | ||||
| -rw-r--r-- | debian/vars.armel | 3 | ||||
| -rw-r--r-- | debian/vars.armhf | 3 |
4 files changed, 12 insertions, 0 deletions
diff --git a/debian/vars.arm b/debian/vars.arm new file mode 100644 index 000000000..4e53e844a --- /dev/null +++ b/debian/vars.arm @@ -0,0 +1,3 @@ +PLATFORMID=linux_arm_oabi +RTL_ARCH=ARM_OABI +RTL_OS=Linux diff --git a/debian/vars.arm64 b/debian/vars.arm64 new file mode 100644 index 000000000..7c88f3820 --- /dev/null +++ b/debian/vars.arm64 @@ -0,0 +1,3 @@ +PLATFORMID=linux_aarch64 +RTL_ARCH=AARCH64 +RTL_OS=Linux diff --git a/debian/vars.armel b/debian/vars.armel new file mode 100644 index 000000000..e4311a979 --- /dev/null +++ b/debian/vars.armel @@ -0,0 +1,3 @@ +PLATFORMID=linux_arm_eabi +RTL_ARCH=ARM_EABI +RTL_OS=Linux diff --git a/debian/vars.armhf b/debian/vars.armhf new file mode 100644 index 000000000..e4311a979 --- /dev/null +++ b/debian/vars.armhf @@ -0,0 +1,3 @@ +PLATFORMID=linux_arm_eabi +RTL_ARCH=ARM_EABI +RTL_OS=Linux |