bin_library_info.sh: popd does not take a directory parameter

Change-Id: I164f03f8ab185fdb71632fd894f94b78bb3d994f
This commit is contained in:
Michael Stahl
2014-06-30 13:08:47 +02:00
parent c403286de5
commit ffa354e2de

View File

@@ -35,7 +35,7 @@ get_config_sha()
{
pushd ${SRCDIR?} > /dev/null
cat ${BUILDDIR?}/config_host.mk | git hash-object --stdin
popd ${SRCDIR?} > /dev/null
popd > /dev/null
}
get_library_gbuild_sha()
@@ -48,7 +48,7 @@ get_library_gbuild_sha()
else
git ls-tree -d HEAD | "{module?}" | cut -f 1 | cut -d " " -f 3
fi
popd ${SRCDIR?} > /dev/null
popd > /dev/null
}