Gregory Nutt f2a89813f2 Build system: Remove fixed lib/ subdirectory and its content. Replace with new directory called staging/ that is created dynamically when building and removed when 'make clean' is done. This both improves the name and eliminates a garbage directory from the repository.		2018-05-29 11:36:21 -06:00
..
common	Make sure that labeling is used consistently in all function headers.	2018-02-01 10:00:02 -06:00
m9s12	Standardization of some function headers.	2018-03-13 09:52:27 -06:00
.gitignore	Remove the arch/ subdirectory; replace it with a submodule	2015-07-22 10:56:22 -06:00
Makefile	Build system: Remove fixed lib/ subdirectory and its content. Replace with new directory called staging/ that is created dynamically when building and removed when 'make clean' is done. This both improves the name and eliminates a garbage directory from the repository.	2018-05-29 11:36:21 -06:00