fix date cmd typo for dynamic build times

kramred · Jul 20, 2020 · cc46468 · cc46468
1 parent cb0d14f
commit cc46468
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/scripts/force_build.txt b/.github/scripts/force_build.txt
@@ -1 +1 @@
-1595235892
+1595237981
diff --git a/.github/scripts/github_build.sh b/.github/scripts/github_build.sh
@@ -8,9 +8,9 @@ if [[ -f "$_root_dir/epoch_job_start.txt" ]]; then
   epoch_job_start=$(cat "$_root_dir/epoch_job_start.txt")
   # GitHub's hard time limit is 6 h per job, we want to spare 20 min for steps after the build, 
   # To get the remaining time for building we subtract 360*60s - 20*60s - (epoch_now - epoch_job_start)
-  _remaining_time=$(( 360*60 - 20*60 - $(date +s%) + epoch_job_start ))
+  _remaining_time=$(( 360*60 - 20*60 - $(date +%s) + epoch_job_start ))
 fi
-_remaining_time=$()
+
 cd build/src
 
 echo $(date +%s) | tee -a "$_root_dir/build_times.log"