Commit f4006c8d authored by Ramon Nou's avatar Ramon Nou
Browse files

Edit riscv.specs

parent ff27abcd

scripts/profiles/0.9.6-dev/riscv.specs

+1 −1
Original line number Diff line number Diff line
@@ -52,7 +52,7 @@ clonedeps=( 
    ["mercury"]="v2.4.1"

    ["margo"]="v0.21.0"

    ["thallium"]="v0.15.1"

    ["syscall_intercept"]="5a6a416395422346e0086b75abd11bc8f5210f4a"

    ["syscall_intercept"]="f2a644ab5e9742f3d55dcc23ae6d0d0a153da491"

)



# Extra arguments for git clone