From e3d01d25cf67e86fc9312a2e2d8f000e49670756 Mon Sep 17 00:00:00 2001 From: Michael Richters Date: Wed, 6 Apr 2022 19:10:30 -0500 Subject: [PATCH] Remove obsolete `set-timestamps-from-git` script This was part of the old TravisCI build system, and is no longer needed. Signed-off-by: Michael Richters --- Makefile | 3 --- bin/set-timestamps-from-git | 15 --------------- 2 files changed, 18 deletions(-) delete mode 100755 bin/set-timestamps-from-git diff --git a/Makefile b/Makefile index 3f53525a..d9a16815 100644 --- a/Makefile +++ b/Makefile @@ -97,9 +97,6 @@ build-gtest-gmock: (cd testing/googletest && cmake -H. -Bbuild -DCMAKE_C_COMPILER=$(call _arduino_prop,compiler.path)$(call _arduino_prop,compiler.c.cmd) -DCMAKE_CXX_COMPILER=$(call _arduino_prop,compiler.path)$(call _arduino_prop,compiler.cpp.cmd) .) $(MAKE) -C testing/googletest -adjust-git-timestamps: - bin/set-timestamps-from-git - find-filename-conflicts: bin/find-filename-conflicts diff --git a/bin/set-timestamps-from-git b/bin/set-timestamps-from-git deleted file mode 100755 index fea2cc32..00000000 --- a/bin/set-timestamps-from-git +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/bash -e - -# This script sets all of the files inside src and example to have mtimes -# that match the times of the last git commit that touched each file - -# This can be useful when build tools depend on file timestamps to -# make caching decisions - -find src examples -type f -exec sh -c ' - timestamp=$(git log --pretty=format:%ad --date=format:%Y%m%d%H%M.%S -n 1 HEAD "$1" 2> /dev/null) - if [ "x$timestamp" != "x" ]; then - touch -t "$timestamp" "$1" - fi -' sh {} \; -