Swap build.sh for a real Makefile
[fw/stlink] / src / gdb-remote.h
index d4c7d7a69b953db1ab5705eca1c4a951fc9beafa..bfa01046c45cdb7803b8d741efaf94ffad3d1bc7 100644 (file)
@@ -3,6 +3,6 @@
 
 int gdb_send_packet(int fd, char* data);
 int gdb_recv_packet(int fd, char** buffer);
-int gdb_wait_for_interrupt(int fd);
+int gdb_check_for_interrupt(int fd);
 
 #endif