Remove redundant option (is include by default in the user makefile.
[bertos.git] / examples / benchmark / kernel-only_arm /
2009-09-10 lottavianoAdd kernel flash size benchmark.