Skip to content
GitLab
Explore
Sign in
clean up create_makefile.sh
Code
Review changes
Check out branch
Download
Patches
Plain diff
Björn Brandenburg
requested to merge
makefile-cleanup
into
utility-cleanup
Nov 12, 2019
Overview
0
Commits
3
Pipelines
6
Changes
3
Expand
Remove last bits of cruft from create_makefile.sh and add
--only-classic
option.
Edited
Nov 12, 2019
by
Björn Brandenburg
Merge request reports