Skip to content

release_1_1_2

release_1_1_2: The variable $? in "make" is different from $? in "bash",
tagged this 25 May 16:24 
	therefore we need to write "exit $$?" in a Makefile.
Assets 2
Loading