Index: build.sh
==================================================================
--- build.sh
+++ build.sh
@@ -158,11 +158,15 @@
 	if test "$debug" = yes; then
 		local dflag="-g"
 	else
 		local dflag="-O4"
 	fi
-	report $cc $src $3 $dflag -std=c11 -isystem "$to" -isystem "$gen" -isystem "arch/" -ffreestanding -nostdlib "-L$to" "-o$output"
+	if test "$assembly" = yes; then
+		report $cc $src $3 $dflag -std=c11 -isystem "$to" -isystem "$gen" -isystem "arch/" -ffreestanding -nostdlib "-L$to" -masm=intel -fverbose-asm -S "-o$output.s"
+	else
+		report $cc $src $3 $dflag -std=c11 -isystem "$to" -isystem "$gen" -isystem "arch/" -ffreestanding -nostdlib "-L$to" "-o$output"
+	fi
 }
 
 say "commencing libk build $build at $(timestamp)"
 # set -x