* device/include/stdint.h: added
[fw/sdcc] / device / lib / libsdcc.lib
index 0e3ae98252f26bf7302d994f9cd60d3c0be8b4d1..88bf7b03023c3b638cc4e9023872995059a67a61 100644 (file)
@@ -33,6 +33,8 @@ _gptrput
 _decdptr
 _bp
 _spx
+abs
+labs
 _atoi
 _atol
 calloc