From b436fa816e3da983e2273b4b16ec09d4d20ba07f Mon Sep 17 00:00:00 2001 From: Reuben Thomas Date: Sat, 13 Jan 2018 17:07:30 +0000 Subject: [PATCH] Remove after-patch hacks --- Makefile.am | 2 +- README.org | 5 ----- after-patch.py | 45 --------------------------------------------- after-patch.sh | 12 ------------ 4 files changed, 1 insertion(+), 63 deletions(-) delete mode 100755 after-patch.py delete mode 100755 after-patch.sh diff --git a/Makefile.am b/Makefile.am index b6a41a2..6a0f4b2 100644 --- a/Makefile.am +++ b/Makefile.am @@ -22,7 +22,7 @@ AUTOMAKE_OPTIONS = gnits ACLOCAL = ./aclocal.sh @ACLOCAL@ ACLOCAL_AMFLAGS = -I m4 -EXTRA_DIST = COPYING-LIB aclocal.sh after-patch.py after-patch.sh \ +EXTRA_DIST = COPYING-LIB aclocal.sh \ m4/gnulib-cache.m4 tables.py \ keld/NomsSeulsfinal.lst keld/charsets.def keld/control.def \ keld/iso10646.def keld/mnemonics,ds keld/other.def keld/rfc1345.txt diff --git a/README.org b/README.org index 7bdac27..992f641 100644 --- a/README.org +++ b/README.org @@ -197,11 +197,6 @@ Haible. Source files and various distributions (either latest, prestest, or archive) are available through [[https://github.com/pinard/Recode/][GitHub]]. -File timestamps after checkout may trigger Make difficulties. As a -way to avoid these, from the top level of the distribution, execute =sh -after-patch.sh= before configuring. If you miss either *sh* or GNU -*touch*, try =python after-patch.py= instead. - ** Configure options Once you have an unpacked distribution, see files: diff --git a/after-patch.py b/after-patch.py deleted file mode 100755 index a097255..0000000 --- a/after-patch.py +++ /dev/null @@ -1,45 +0,0 @@ -#!/usr/bin/env python -# -*- coding: utf-8 -*- -# Copyright © 2007 Progiciels Bourbeau-Pinard inc. -# François Pinard , 2008. - -"""\ -After "patch", "git clone" or "git checkout", file timestamps may be a -bit random, and unless you have all maintainer tools handy, it can put -you in some misery. This script makes all timestamps to be identical. -""" - -__metaclass__ = type -import os, sys - -class Main: - - def main(self, *arguments): - # Decode arguments. Should be none! - import getopt - options, arguments = getopt.getopt(arguments, '') - for option, valeur in options: - pass - assert not arguments - # Use a reference file. - if not os.path.exists('configure.ac'): - sys.exit("You should first cd to the distribution directory.") - timestamp = os.path.getmtime('configure.ac') - # Walk all files, changing their timestamp. - stack = ['.'] - while stack: - directory = stack.pop() - for base in os.listdir(directory): - if base == '.git': - continue - name = os.path.join(directory, base) - if os.path.isdir(name): - stack.append(name) - elif os.path.isfile(name): - os.utime(name, (os.path.getatime(name), timestamp)) - -run = Main() -main = run.main - -if __name__ == '__main__': - main(*sys.argv[1:]) diff --git a/after-patch.sh b/after-patch.sh deleted file mode 100755 index 33e0d98..0000000 --- a/after-patch.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh - -# After "patch", "git clone" or "git checkout", file timestamps may be a -# bit random, and unless you have all maintainer tools handy, it can put -# you in some misery. This script makes all timestamps to be identical. - -if test -f configure.ac; then - find . -name .git -prune -o -type f -print | xargs touch -r configure.ac -else - echo >2 "You should first cd to the distribution directory." - exit 1 -fi -- 2.40.0