diff options
Diffstat (limited to 'runtime/user/recreate_links')
| -rwxr-xr-x | runtime/user/recreate_links | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/runtime/user/recreate_links b/runtime/user/recreate_links deleted file mode 100755 index 5b182480..00000000 --- a/runtime/user/recreate_links +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/bash - -ln -s ../map.h . -ln -s ../map.c . -ln -s ../map-stat.c . -ln -s ../string.c . -ln -s ../string.h . -ln -s ../sym.c . -ln -s ../counter.c . -ln -s ../stat.c . -ln -s ../stat.h . -ln -s ../stat-common.c . -ln -s ../arith.c . -ln -s ../map-gen.c . -ln -s ../pmap-gen.c . |