Fix error "fatal: ni ceci ni aucun de ses répertoires parents n'est un

dépôt git : .git"
This commit is contained in:
Laurent Destailleur 2019-06-29 23:16:07 +02:00
parent e9c6a10bdd
commit 09d420307d

View File

@ -387,6 +387,9 @@ if ($nboftargetok) {
#----------------------- #-----------------------
if ($CHOOSEDTARGET{'-CHKSUM'}) if ($CHOOSEDTARGET{'-CHKSUM'})
{ {
print "Go to directory $SOURCE\n";
$olddir=getcwd();
chdir("$SOURCE");
$ret=`git ls-files . --exclude-standard --others`; $ret=`git ls-files . --exclude-standard --others`;
if ($ret) if ($ret)
{ {