2013-05-28 13:28:13 +00:00
|
|
|
#!/bin/bash
|
2013-05-28 13:26:41 +00:00
|
|
|
|
2018-04-15 16:33:53 +00:00
|
|
|
# Apply diffs to build for jessie
|
2013-05-28 13:26:41 +00:00
|
|
|
|
|
|
|
# DON'T COMMIT ANYTHING AFTER launching this
|
2018-04-15 16:33:53 +00:00
|
|
|
# reset your repos back to the serverside one!
|
2013-05-28 13:26:41 +00:00
|
|
|
|
2018-04-15 16:33:53 +00:00
|
|
|
# The patch files were generated by running
|
2018-04-15 16:42:26 +00:00
|
|
|
# REV_NEW=ebb3471f04d49dd839237608bafc396e8b5090e5 REV_OLD=3ae6c0a5c2eecf864319dd42afbfc995baee9f68 \
|
2018-04-15 16:33:53 +00:00
|
|
|
# for i in `git diff --name-only $REV_NEW $REV_OLD` ; do BASE_NAME=`echo $i | rev | cut -d '/' -f 1 | rev` ; \
|
|
|
|
# git diff -p $REV_NEW $REV_OLD -- "$i" > jessie/$BASE_NAME ; done
|
2013-05-28 13:26:41 +00:00
|
|
|
|
2018-04-15 16:33:53 +00:00
|
|
|
DIR_NAME=`dirname $0`
|
|
|
|
cd "$DIR_NAME"/../
|
2013-05-28 13:26:41 +00:00
|
|
|
|
2018-04-15 16:33:53 +00:00
|
|
|
for i in `ls "$DIR_NAME"`; do
|
|
|
|
patch -p1 < "$DIR_NAME/$i"
|
|
|
|
done
|