diff options
| -rwxr-xr-x | getsomesrcs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/getsomesrcs.sh b/getsomesrcs.sh index d203146f5e..015b289864 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 | grep -v Holder +./getsrcs.sh | grep -v Assembly | grep -v Byte | grep -v \\.ll | grep -v tools | grep -v Makefile | grep -v Opt | grep -v llvm/Tools | grep -v '/i[^/]*$' | grep -v VMCore | grep -v Holder | grep -v Analysis | grep -v html |