X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_binaries.S;h=414f3da6f13444e70ff18ea49058fb4ec4830fd0;hb=a5d2c00cc461b4a60a1360a2a0bba55cef467bab;hp=cca75efb00fe6aa6b4f6ed25760a1303296a56e2;hpb=179cda8c3c2686bb4605f67ec6d525d2951c618f;p=palacios.git

diff --git a/palacios/src/palacios/vmm_binaries.S b/palacios/src/palacios/vmm_binaries.S
index cca75ef..414f3da 100644
--- a/palacios/src/palacios/vmm_binaries.S
+++ b/palacios/src/palacios/vmm_binaries.S
@@ -29,13 +29,13 @@ v3_vmxassist_start:
 v3_vmxassist_end:
 #endif
 
-#if V3_CONFIG_SEABIOS || V3_CONFIG_BOCHSBIOS
+#if defined(V3_CONFIG_SEABIOS) || defined(V3_CONFIG_BOCHSBIOS)
 .globl v3_vgabios_start
 v3_vgabios_start:
-#if V3_CONFIG_SEABIOS
+#ifdef V3_CONFIG_SEABIOS
 .incbin V3_CONFIG_SEABIOSVGA_PATH
 #endif
-#if V3_CONFIG_BOCHSBIOS
+#ifdef V3_CONFIG_BOCHSBIOS
 .incbin V3_CONFIG_BOCHSBIOSVGA_PATH
 #endif
 .global v3_vgabios_end
@@ -44,13 +44,13 @@ v3_vgabios_end:
 
 .globl v3_rombios_start
 v3_rombios_start:
-#if V3_CONFIG_SEABIOS
+#ifdef V3_CONFIG_SEABIOS
 .incbin V3_CONFIG_SEABIOS_PATH
 #endif
-#if V3_CONFIG_ROMBIOS
-.incbin V3_CONFIG_BOCHBIOS_PATH
+#ifdef V3_CONFIG_BOCHSBIOS
+.incbin V3_CONFIG_BOCHSBIOS_PATH
 #endif
-#if V3_CONFIG_OTHERBIOS
+#ifdef V3_CONFIG_OTHERBIOS
 .incbin V3_CONFIG_OTHERBIOS_PATH
 #endif
 .globl v3_rombios_end