bin/common-functions: add sanity check after execution of make_source_info - builder

diff options

author	Erich Eckner <git@eckner.net>	2017-06-29 11:46:05 +0200
committer	Erich Eckner <git@eckner.net>	2017-06-29 11:46:05 +0200
commit	3d4a467db398b88fc3534cbfa3ed79a454826749 (patch)
tree	e99a98b7a285615eb3f8f78cf95de6d4fde221f4 /bin/get-assignment
parent	d39cea2a852127db12fe09f821e4581fd052cd2c (diff)

bin/common-functions: add sanity check after execution of make_source_info

Diffstat (limited to 'bin/get-assignment')

0 files changed, 0 insertions, 0 deletions