diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2017-02-14 21:16:29 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2017-02-14 21:16:29 (GMT) |
commit | 1898c6ea16d0eee8ecc5ab9ebb26ac91ad7314b4 (patch) | |
tree | 5c50e152eea144a1d2e6785e84033165c6d2a884 /src/arch/arm/v7/opdefs | |
parent | 252aa6db5c9d34c554f3b970efba5d0b738c2f93 (diff) |
Fixed the creation of distribution tarballs.
Diffstat (limited to 'src/arch/arm/v7/opdefs')
-rw-r--r-- | src/arch/arm/v7/opdefs/Makefile.am | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/arch/arm/v7/opdefs/Makefile.am b/src/arch/arm/v7/opdefs/Makefile.am index 41785c6..a702d10 100644 --- a/src/arch/arm/v7/opdefs/Makefile.am +++ b/src/arch/arm/v7/opdefs/Makefile.am @@ -279,6 +279,17 @@ ARMV7_DEFS = \ # subs_B9320.d +# make dist procède répertoire par répertoire. Or le répertoire opcodes utilise +# le contenu du répertoire opdefs. Il faut donc générer les fichiers nécessaires +# au répertoire opcodes. Et comme on ne peut pas compléter la règle dist, on +# ajoute à la distribution les cibles marquant la génération. (1/2) + +EXTRA_DIST = $(ARMV7_DEFS) $(ARMV7_DEFS:.d=.g) + +# Après coup, on supprime les fichiers inutiles de la distribution/ (2/2) + +dist-hook: + cd $(distdir) && rm $(ARMV7_DEFS:.d=.g) all: $(ARMV7_DEFS:.d=.g) fmk.done d2c_final_rules |