diff options
-rw-r--r-- | 31/64/arm64_armv8-a/source-based/config.ini | 2 | ||||
-rw-r--r-- | 31/64/arm_armv7-a-neon/source-based/config.ini | 2 | ||||
-rw-r--r-- | 31/64/arm_armv8-a/source-based/config.ini | 2 | ||||
-rw-r--r-- | 31/64/x86/source-based/config.ini | 2 | ||||
-rw-r--r-- | 31/64/x86_64/source-based/config.ini | 2 | ||||
-rw-r--r-- | 31/64/x86_x86_64/source-based/config.ini | 2 |
6 files changed, 12 insertions, 0 deletions
diff --git a/31/64/arm64_armv8-a/source-based/config.ini b/31/64/arm64_armv8-a/source-based/config.ini new file mode 100644 index 0000000..eb32e8b --- /dev/null +++ b/31/64/arm64_armv8-a/source-based/config.ini @@ -0,0 +1,2 @@ +[global] +allow_extensions = true diff --git a/31/64/arm_armv7-a-neon/source-based/config.ini b/31/64/arm_armv7-a-neon/source-based/config.ini new file mode 100644 index 0000000..eb32e8b --- /dev/null +++ b/31/64/arm_armv7-a-neon/source-based/config.ini @@ -0,0 +1,2 @@ +[global] +allow_extensions = true diff --git a/31/64/arm_armv8-a/source-based/config.ini b/31/64/arm_armv8-a/source-based/config.ini new file mode 100644 index 0000000..eb32e8b --- /dev/null +++ b/31/64/arm_armv8-a/source-based/config.ini @@ -0,0 +1,2 @@ +[global] +allow_extensions = true diff --git a/31/64/x86/source-based/config.ini b/31/64/x86/source-based/config.ini new file mode 100644 index 0000000..eb32e8b --- /dev/null +++ b/31/64/x86/source-based/config.ini @@ -0,0 +1,2 @@ +[global] +allow_extensions = true diff --git a/31/64/x86_64/source-based/config.ini b/31/64/x86_64/source-based/config.ini new file mode 100644 index 0000000..eb32e8b --- /dev/null +++ b/31/64/x86_64/source-based/config.ini @@ -0,0 +1,2 @@ +[global] +allow_extensions = true diff --git a/31/64/x86_x86_64/source-based/config.ini b/31/64/x86_x86_64/source-based/config.ini new file mode 100644 index 0000000..eb32e8b --- /dev/null +++ b/31/64/x86_x86_64/source-based/config.ini @@ -0,0 +1,2 @@ +[global] +allow_extensions = true |