Bring forward the modern shiny scripts.
authorRonald G. Minnich <rminnich@google.com>
Thu, 16 Jan 2014 01:21:36 +0000 (17:21 -0800)
committerRonald G. Minnich <rminnich@google.com>
Thu, 16 Jan 2014 22:43:42 +0000 (14:43 -0800)
commite2d8046975d90b322a58a80d0b7a246ae78b0e9a
tree1aaa43dd6fe79ef652e89eb5524e170f0fce3af1
parentf399b77106416d22ee24ffa171b4e9b9bf18775a
Bring forward the modern shiny scripts.

Signed-off-by: Ronald G. Minnich <rminnich@google.com>
33 files changed:
scripts/INFERNO [new file with mode: 0755]
scripts/PATCHPLAN9 [new file with mode: 0644]
scripts/RUN [new file with mode: 0644]
scripts/RUNTAP [new file with mode: 0644]
scripts/XRUN [new file with mode: 0644]
scripts/fixincludes [new file with mode: 0644]
scripts/linux.cocci [new file with mode: 0644]
scripts/pktdump [new file with mode: 0644]
scripts/plan9 [new file with mode: 0644]
scripts/plan9randomfixup [new file with mode: 0644]
scripts/plan9user/FIX [new file with mode: 0644]
scripts/plan9user/fixincludes [new file with mode: 0644]
scripts/plan9user/plan9.cocci [new file with mode: 0644]
scripts/plan9user/scalar.cocci [new file with mode: 0644]
scripts/plan9user/typedef.cocci [new file with mode: 0644]
scripts/scalar [new file with mode: 0644]
scripts/scalar.cocci [new file with mode: 0644]
scripts/spatch/kref.cocci [new file with mode: 0644]
scripts/spatch/locks.cocci [new file with mode: 0644]
scripts/spatch/malloc.cocci [new file with mode: 0644]
scripts/spatch/plan9.cocci [new file with mode: 0644]
scripts/spatch/rendez.cocci [new file with mode: 0644]
scripts/spatch/route.cocci [new file with mode: 0644]
scripts/spatch/scalar.cocci [new file with mode: 0644]
scripts/spatch/scalars.cocci [new file with mode: 0644]
scripts/spatch/typedef.cocci [new file with mode: 0644]
scripts/spatch/waserror.cocci [new file with mode: 0644]
scripts/tagging/MAKETAGS [new file with mode: 0644]
scripts/tagging/README [new file with mode: 0644]
scripts/tagging/bashrc-global [new file with mode: 0644]
scripts/tagging/global-subd.sh [new file with mode: 0755]
scripts/tagging/gtags-update.sh [new file with mode: 0755]
scripts/temporary_hack [new file with mode: 0644]