[PATCH 05/20] - fixed git cloning after $DIRECTORY had to be deleted

[Steffen Pankratz]

On Thu, 16 Jul 2015 19:10:25 +0200
Tim Niemeyer <tim.niemeyer at mastersword.de> wrote:

Hi Tim

> Am Mittwoch, den 15.07.2015, 21:47 +0200 schrieb Steffen Pankratz:
> > Signed-off-by: Steffen Pankratz <kratz00 at gmx.de>
> Reviewed-by: Tim Niemeyer <tim.niemeyer at mastersword.de>
> 
> > ---
> >  buildscript | 3 ++-
> >  1 file changed, 2 insertions(+), 1 deletion(-)
> > 
> > diff --git a/buildscript b/buildscript
> > index d8b9954..8e4f5ca 100755
> > --- a/buildscript
> > +++ b/buildscript
> > @@ -50,7 +50,8 @@ checkout_git(){
> >  		else
> >  			echo wrong remote or not an git repo at all -\> deleting whole directory
> >  			/bin/rm -rf $DIRECTORY
> > -			$MYGIT clone $REPO_URL $DIRECTORY
> > +			#needs to be without -C!!!
> > +			git clone $REPO_URL $DIRECTORY
> Oh, hat das überhaupt funktioniert? Optisch ist der Patch auf jeden Fall
> richtig, ich werd es mangels Zeit aber nicht testen können, warum das
> überhaupt ging.

Ich denke der Fall ist eher akademisch und tritt ansonsten nicht auf.


Gruss
-Steffen

-- 
Hermes powered by Manjaro Linux (Linux 4.1.2)

Best regards, Steffen Pankratz.
-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname   : nicht verfügbar
Dateityp    : application/pgp-signature
Dateigröße  : 181 bytes
Beschreibung: OpenPGP digital signature
URL         : <http://lists.freifunk.net/pipermail/franken-dev-freifunk.net/attachments/20150716/eb88cd62/attachment-0002.sig>