diff options
| -rwxr-xr-x | getsomesrcs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/getsomesrcs.sh b/getsomesrcs.sh index 2148f6d73c..d203146f5e 100755 --- a/getsomesrcs.sh +++ b/getsomesrcs.sh @@ -1,6 +1,6 @@ #!/bin/sh # This script prints out some of the source files that are useful when # editing. I use this like this: xemacs `./getsomesrcs.sh` & -./getsrcs.sh | grep -v Assembly | grep -v Byte | grep -v \\.ll | grep -v tools | grep -v Makefile | grep -v Opt | grep -v CommandLi | grep -v String | grep -v DataType | grep -v '/i[^/]*$' | grep -v SlotCalcul | grep -v VMCore +./getsrcs.sh | grep -v Assembly | grep -v Byte | grep -v \\.ll | grep -v tools | grep -v Makefile | grep -v Opt | grep -v CommandLi | grep -v String | grep -v DataType | grep -v '/i[^/]*$' | grep -v SlotCalcul | grep -v VMCore | grep -v Holder |