Unverified Commit 7987bd53 authored by Julian Kranz's avatar Julian Kranz
Browse files

Fixes for build.bat

parent 3169074c
......@@ -125,7 +125,7 @@ set GDSL_MIPSSEM=
set GDSL_MIPSSEM=%GDSL_MIPSSEM% specifications/mips/mips-rreil-translator.ml
set GDSL_MIPSSEM=%GDSL_MIPSSEM% specifications/mips/mips-rreil-registermapping.ml
set GDSL_MIPSSEM=%GDSL_MIPSSEM% specifications/mips/mips-rreil-pretty.ml
set GDSL_MIPSSEM=%GDSL_MIPSSEM% specifications/mips/mips-rreil-liveness.ml
set GDSL_MIPSSEM=%GDSL_MIPSSEM% specifications/mips/mips-liveness.ml
set GDSL_MIPSSEM=%GDSL_MIPSSEM% specifications/mips/mips-rreil-rreil-translator_r5.ml
set GDSL_MIPS6=
......@@ -142,7 +142,7 @@ set GDSL_MIPS6SEM=
set GDSL_MIPS6SEM=%GDSL_MIPS6SEM% specifications/mips/mips-rreil-translator.ml
set GDSL_MIPS6SEM=%GDSL_MIPS6SEM% specifications/mips/mips-rreil-registermapping.ml
set GDSL_MIPS6SEM=%GDSL_MIPS6SEM% specifications/mips/mips-rreil-pretty.ml
set GDSL_MIPS6SEM=%GDSL_MIPS6SEM% specifications/mips/mips-rreil-liveness.ml
set GDSL_MIPS6SEM=%GDSL_MIPS6SEM% specifications/mips/mips-liveness.ml
set GDSL_MIPS6SEM=%GDSL_MIPS6SEM% specifications/mips/mips-rreil-rreil-translator_r6.ml
set GDSL_MIPSSEM=
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment