* debugger/mcs51/break.c, debugger/mcs51/cmd.c,
[fw/sdcc] / support / makebin / makebin.c
index 83d4ec6990991627f4fd0a36cbfd6f1a230e881d..b6acaf4c872dde008a089962a2be76a78aa29499 100644 (file)
@@ -1,5 +1,6 @@
 /** @name makebin - turn a .ihx file into a binary image.
  */
+#include <assert.h>
 #include <stdio.h>
 #include <unistd.h>
 #include <stdlib.h>
@@ -48,6 +49,7 @@ int main(int argc, char **argv)
 {
     int size = 32768, pack = 0, real_size = 0;
     BYTE *rom;
+    size_t res;
     char line[256];
     char *p;
 
@@ -112,10 +114,13 @@ int main(int argc, char **argv)
            real_size = addr;
     }
 
-    if (pack)
-        fwrite(rom, 1, real_size, stdout);
-    else
-        fwrite(rom, 1, size, stdout);
+    if (pack) {
+        res = fwrite(rom, 1, real_size, stdout);
+        assert(res == real_size);
+    } else {
+        res = fwrite(rom, 1, size, stdout);
+        assert(res == size);
+    }
     
     return 0;
 }