diff options
Diffstat (limited to 'subr/post_build_files.subr')
| -rw-r--r-- | subr/post_build_files.subr | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/subr/post_build_files.subr b/subr/post_build_files.subr deleted file mode 100644 index 6c74a7c9..00000000 --- a/subr/post_build_files.subr +++ /dev/null @@ -1,15 +0,0 @@ -# -# set -o errexit -o noglob are assumed. -# - -post_build_files() { - : $((BUILD_TIMES_SECS=$(command date +%s)-${BUILD_TIMES_SECS})); - : $((BUILD_TIMES_HOURS=${BUILD_TIMES_SECS}/3600)); - : $((BUILD_TIMES_MINUTES=(${BUILD_TIMES_SECS}%3600)/60)); - : $((BUILD_TIMES_SECS=(${BUILD_TIMES_SECS}%3600)%60)); - if [ -f "${BUILD_STATUS_IN_PROGRESS_FNAME}" ]; then - build_fileop rm ${BUILD_STATUS_IN_PROGRESS_FNAME}; - fi; -}; - -# vim:filetype=sh |