Skip to content

Commit 0946efb

Browse files
Fix dartagnan script (#920)
Co-authored-by: Hernan Ponce de Leon <[email protected]>
1 parent 79d1122 commit 0946efb

File tree

1 file changed

+31
-28
lines changed

1 file changed

+31
-28
lines changed

scripts/dartagnan

Lines changed: 31 additions & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -83,47 +83,50 @@ fi
8383

8484
# if target is not given, we try to guess the target from the cat file
8585
if [ -z "${target}" ]; then
86-
case "$cat" in
87-
*aarch64*)
88-
target=arm8
86+
case "$cat" in
87+
*arm*)
88+
target=arm7
8989
;;
90-
*c11*)
91-
target=c11
90+
*aarch64*)
91+
target=arm8
9292
;;
93-
*imm*)
94-
target=imm
93+
*c11*)
94+
target=c11
9595
;;
96-
*linux-kernel*)
97-
target=lkmm
96+
*imm*)
97+
target=imm
9898
;;
99-
*opencl*)
100-
target=opencl
99+
*linux-kernel*)
100+
target=lkmm
101101
;;
102-
*power*)
103-
target=power
102+
*opencl*)
103+
target=opencl
104104
;;
105-
*ptx*)
106-
target=ptx
105+
*power*)
106+
target=power
107107
;;
108-
*rc11*)
109-
target=c11
108+
*ptx*)
109+
target=ptx
110110
;;
111-
*riscv*)
112-
target=riscv
111+
*rc11*)
112+
target=c11
113113
;;
114-
*sc*)
115-
target=c11
114+
*riscv*)
115+
target=riscv
116116
;;
117-
*spirv*)
118-
target=vulkan
117+
*sc*)
118+
target=c11
119119
;;
120-
*tso*)
121-
target=tso
120+
*vulkan*)
121+
target=vulkan
122122
;;
123-
*vmm*)
124-
target=c11
123+
*tso*)
124+
target=tso
125125
;;
126-
esac
126+
*vmm*)
127+
target=c11
128+
;;
129+
esac
127130
fi
128131

129132
if [ -z "${target}" ]; then

0 commit comments

Comments
 (0)