diff options
Diffstat (limited to 'runtime/user/recreate_links')
| -rwxr-xr-x | runtime/user/recreate_links | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/runtime/user/recreate_links b/runtime/user/recreate_links new file mode 100755 index 00000000..080654e9 --- /dev/null +++ b/runtime/user/recreate_links @@ -0,0 +1,8 @@ +#!/bin/bash + +ln -s ../map.h . +ln -s ../map.c . +ln -s ../map-values.c . +ln -s ../map-keys.c . +ln -s ../list.c . +ln -s ../string.c . |