diff options
author | Jo-Philipp Wich <jow@openwrt.org> | 2015-01-10 11:17:11 +0000 |
---|---|---|
committer | Jo-Philipp Wich <jow@openwrt.org> | 2015-01-10 11:17:11 +0000 |
commit | c6d03d1503346df167c37fb0348c2246531805b3 (patch) | |
tree | eac9b0c24ceae8cb2d5cb4ba31583cd87a7e92b6 /tools/gmp/Makefile | |
parent | f1dfc77d7b7bfa2883e5542953cf97babc9de684 (diff) | |
download | upstream-c6d03d1503346df167c37fb0348c2246531805b3.tar.gz upstream-c6d03d1503346df167c37fb0348c2246531805b3.tar.bz2 upstream-c6d03d1503346df167c37fb0348c2246531805b3.zip |
version.mk: explicitely filter "generic" subtarget for "%s" placeholder (#18710)
Signed-off-by: Jo-Philipp Wich <jow@openwrt.org>
git-svn-id: svn://svn.openwrt.org/openwrt/trunk@43905 3c298f89-4303-0410-b956-a3cf2f4a3e73
Diffstat (limited to 'tools/gmp/Makefile')
0 files changed, 0 insertions, 0 deletions