Update main.sh

2024-08-07 22:05:40 +02:00 · 2024-08-07 22:05:40 +02:00 · c8f1e60ded
commit c8f1e60ded
parent f42ee97b13
1 changed files with 1 additions and 1 deletions
--- a/main.sh
+++ b/main.sh
@ -1,7 +1,7 @@
 #! /bin/bash
 set -e
-
+. ./pika-build-config.sh
 ### TEMP UNTIL BUILDER IS ADAPTED
 if [[ "$PIKA_BUILD_ARCH" == "i386" ]]