We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 497aaad commit f4a95eeCopy full SHA for f4a95ee
bin/tune
100644
100755
@@ -5,8 +5,21 @@ if [[ $(basename $(pwd)) == "bin" ]]; then
5
fi
6
7
# check Julia version
8
+julia_version=$(julia --version | awk '{print($3)}')
9
+julia_major=${julia_version:0:3}
10
+if [[ $julia_major == "1.1" ]]; then
11
+ julia_major=${julia_version:0:4}
12
+fi
13
14
# check that the active manifest is the default manifest
15
+file1="Manifest-v1.11.toml"
16
+file2="Manifest-v1.11.toml.default"
17
+
18
+if cmp -s "$file1" "$file2"; then
19
+ printf 'The file "%s" is the same as "%s"\n' "$file1" "$file2"
20
+else
21
+ printf 'The file "%s" is different from "%s"\n' "$file1" "$file2"
22
23
24
# create new prob_xxx.bin file
25
# copy it to the prob_xxx.bin.default file
0 commit comments