]> xenbits.xensource.com Git - mini-os.git/commit
projects / mini-os.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5bcb28a) | patch
Mini-OS: remove stale subdirs from Makefile
authorJuergen Gross <jgross@suse.com>
Fri, 27 Jan 2023 07:32:44 +0000 (08:32 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Mon, 30 Jan 2023 14:55:59 +0000 (14:55 +0000)
commit6211e1ef5d78d66d6573f941b704609dfdf8d3d7
tree80d477817a60e012b642384d42515b7a38507b3dtree
parent5bcb28aaeba1c2506a82fab0cdad0201cd9b54b3commit | diff
Mini-OS: remove stale subdirs from Makefile

The SUBDIRS make variable has some stale entries, remove them.

Signed-off-by: Juergen Gross <jgross@suse.com>
Reviewed-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Makefile diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.