scratch/igc a1772fa44bb: README-IGC: another fix

[Oscar Fuentes]

branch: scratch/igc
commit a1772fa44bb9cf48fa50d58cc1a81db7cc660341
Author: Óscar Fuentes <ofv@wanadoo.es>
Commit: Óscar Fuentes <ofv@wanadoo.es>

    README-IGC: another fix
---
 README-IGC | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README-IGC b/README-IGC
index 113528fd563..5c74c2185c1 100644
--- a/README-IGC
+++ b/README-IGC
@@ -62,7 +62,7 @@ short:
 
 $ cd mps/code
 
-$ gcc -O2 mps.c
+$ gcc -O2 -c mps.c
 $ ar rvs libmps.a mps.o
 
 Now copy the header files and libmps.a to a new empty directory of your