From fc2a66f027b2732982d16f557216e867a2e97910 Mon Sep 17 00:00:00 2001 From: Mark Date: Fri, 24 May 2024 23:36:55 -0700 Subject: [PATCH] Added starred --- Advanced/DFAs/starred | 0 Advanced/Definable Sets/starred | 0 Advanced/Mock a Mockingbird/starred | 0 Advanced/Size of Sets/starred | 0 build.sh | 2 +- 5 files changed, 1 insertion(+), 1 deletion(-) create mode 100644 Advanced/DFAs/starred create mode 100644 Advanced/Definable Sets/starred create mode 100644 Advanced/Mock a Mockingbird/starred create mode 100644 Advanced/Size of Sets/starred diff --git a/Advanced/DFAs/starred b/Advanced/DFAs/starred new file mode 100644 index 0000000..e69de29 diff --git a/Advanced/Definable Sets/starred b/Advanced/Definable Sets/starred new file mode 100644 index 0000000..e69de29 diff --git a/Advanced/Mock a Mockingbird/starred b/Advanced/Mock a Mockingbird/starred new file mode 100644 index 0000000..e69de29 diff --git a/Advanced/Size of Sets/starred b/Advanced/Size of Sets/starred new file mode 100644 index 0000000..e69de29 diff --git a/build.sh b/build.sh index da5c81a..afe0f93 100755 --- a/build.sh +++ b/build.sh @@ -99,7 +99,7 @@ function build() { if [[ $solution_stat == 0 ]]; then echo -n "\"solutions\": \"https://static.betalupi.com/ormc/$(realpath --relative-to="${target_dir}" "${b_target_dir}")/${job_name}.sols.pdf\"," fi - if [[ $solution_stat == 0 ]]; then + if [ -f "starred" ]; then echo -n "\"starred\": true" else echo -n "\"starred\": false"