diff options
Diffstat (limited to 'scripts/fetch-git.rc')
| -rw-r--r-- | scripts/fetch-git.rc | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/scripts/fetch-git.rc b/scripts/fetch-git.rc deleted file mode 100644 index 14f28afc..00000000 --- a/scripts/fetch-git.rc +++ /dev/null @@ -1,15 +0,0 @@ -flag e + - -if(! ~ $#* 1) { - echo 'usage: fetch-git.rc dir' >[1=2] - exit 2 -} - -cd $1 - -git submodule update --init --checkout src -if([ -d patch ]) { - patches=patch/* - git -C src am '--whitespace=nowarn' ../$patches -} -status=() |
