#!/bin/bash vlib minsoc vmap minsoc ./minsoc
Error running this command: diff -w -U 5 "/tmp/wBGGpz" ""
diff -w -U 5 "/tmp/wBGGpz" ""
diff: : No such file or directory