Fix for riscv-pk.rb

Addressing riscv-software-src#99 Signed-off-by: Giovanni Merlino <giovanni.merlino@unime.it>
gmerlino · Apr 27, 2023 · b5bd842 · b5bd842
1 parent cc6d4de
commit b5bd842
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/riscv-pk.rb b/riscv-pk.rb
@@ -21,7 +21,7 @@ def install
     mkdir "build"
     cd "build" do
       system "../configure", "--prefix=#{prefix}", "--host=riscv64-unknown-elf", \
-+        "--with-arch=rv64imafdc_zifencei"
+        "--with-arch=rv64imafdc_zifencei"
       # Requires gnu-sed's behavior to build, and don't want to change -Wno-unused
       inreplace "Makefile", " sed", " gsed"
       system "make", "install"