From: kremlin <ian@kremlin.cc>
Date: Tue, 22 Jul 2014 21:15:50 +0000 (-0500)
Subject: remove genfiles from repo, instead generate in makefile
X-Git-Tag: gsoc-final~65
X-Git-Url: https://uglyman.kremlin.cc/gitweb/gitweb.cgi?p=systembsd.git;a=commitdiff_plain;h=9ce456700bab1a39ee3aa7f95bd7a2f9505d91ec;hp=9ce456700bab1a39ee3aa7f95bd7a2f9505d91ec

remove genfiles from repo, instead generate in makefile

genfiles (-gen.{c,h}) should be generated at build time instead of
being included in the repo. remove them & add relevant recipes/pre-reqs
include genfiles in 'clean' recipe
---