You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
UNTRACKED=$(git status --porcelain --untracked-files=no)
if [[ -n $UNTRACKED ]]; then
echo "Uncommited changes detected." > /dev/stderr
echo "This script resets the modification time of every file in the repo. It usually only makes sense to run it on a copy with no uncommited changes to files in the repo." > /dev/stderr
echo "Output from git status: {$UNTRACKED}" > /dev/stderr
if [ "$1" != "-f" ]; then
echo "Aborting" > /dev/stderr
exit 1
fi
echo "Carrying on, as -f was set." > /dev/stderr
fi
echo "Resetting modification time of all files in the repo to their last commit time..."
echo "This stops Make from unnecessarily re-generating auto-generated code that is already up-to-date in the repo."
os=$(uname -s)
git ls-tree -r --name-only HEAD | while read -r filename; do