github: Use target or1k-elf when configuring

This is needed for the testsuite to be setup correctly
openrisc · Aug 17, 2023 · 84d285c · 84d285c
1 parent 0386f2b
commit 84d285c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/nightly.yaml b/.github/workflows/nightly.yaml
@@ -37,7 +37,7 @@ jobs:
 
       - name: build or1ksim
         run: |
-          ./configure --prefix=/opt/or1k
+          ./configure --prefix=/opt/or1k --target=or1k-elf
           make -j $(nproc)
           make DESTDIR=$PWD/install install