diff options
author | 2019-01-13 12:26:43 +0100 | |
---|---|---|
committer | 2019-01-13 12:38:51 +0100 | |
commit | 5bb0ea55ac8581fe9e390ac68cd0d6c6481eeee0 (patch) | |
tree | 0808a7041ed7d5bc353d73048487a8eeff89bf09 /scripts | |
parent | Remove pointless .pch support (diff) | |
download | sandbox-5bb0ea55ac8581fe9e390ac68cd0d6c6481eeee0.tar.gz sandbox-5bb0ea55ac8581fe9e390ac68cd0d6c6481eeee0.tar.bz2 sandbox-5bb0ea55ac8581fe9e390ac68cd0d6c6481eeee0.zip |
Flatten data, etc & scripts Makefiles
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/Makefile.am | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/scripts/Makefile.am b/scripts/Makefile.am deleted file mode 100644 index 41ee99e..0000000 --- a/scripts/Makefile.am +++ /dev/null @@ -1,4 +0,0 @@ -EXTRA_DIST = \ - gen_symbol_version_map.awk \ - gen_symbol_header.awk \ - gen_trace_header.awk |