]> granicus.if.org Git - esp-idf/commitdiff
Resolves: Warning '-s option given but default rule can be matched'. Closes https...
authorkrzychb <krzychb@gazeta.pl>
Mon, 11 Dec 2017 21:53:39 +0000 (22:53 +0100)
committerkrzychb <krzychb@gazeta.pl>
Mon, 11 Dec 2017 21:53:39 +0000 (22:53 +0100)
tools/kconfig/zconf.l

index f0b65608f0c01a4fc4a9b0614661d517ccf1693f..8fd75491c3b98360f20a2844921255975968c0b4 100644 (file)
@@ -1,5 +1,5 @@
 %option nostdinit noyywrap never-interactive full ecs
-%option 8bit nodefault perf-report perf-report
+%option 8bit perf-report perf-report
 %option noinput
 %x COMMAND HELP STRING PARAM
 %{