Merge pull request #165 from wrapl/dev

dev
wrapl · Oct 5, 2021 · b1ab21f · b1ab21f
2 parents b9deb82 + acf45fa
commit b1ab21f
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 5 deletions.
diff --git a/Makefile b/Makefile
@@ -105,7 +105,7 @@ $(RABS): Makefile $(objects) $(libraries) src/*.h src/exports.lst bin
 else
 $(RABS): Makefile $(objects) $(libraries) src/*.h src/exports.lst bin
 	$(CC) $(objects) $(libraries) -o $@ $(LDFLAGS)
-	strip $@
+	# strip $@
 endif
 
 

diff --git a/debian/changelog b/debian/changelog
@@ -1,4 +1,4 @@
-rabs (2.20.2) UNRELEASED; urgency=medium
+rabs (2.20.3) UNRELEASED; urgency=medium
 
   * Updates.
   * Updates.
@@ -26,5 +26,6 @@ rabs (2.20.2) UNRELEASED; urgency=medium
   * Updates.
   * Updates.
   * Updates.
+  * Updates.
 
- -- Raja Mukherji <raja@localhost.localdomain>  Tue, 05 Oct 2021 09:11:59 +0100
+ -- Raja Mukherji <raja@localhost.localdomain>  Tue, 05 Oct 2021 09:32:40 +0100
diff --git a/minilang b/minilang
diff --git a/src/rabs.h b/src/rabs.h
@@ -29,7 +29,7 @@ extern __thread target_t *CurrentTarget;
 
 ml_value_t *rabs_global(const char *Name);
 
-#define CURRENT_VERSION 2, 20, 2
+#define CURRENT_VERSION 2, 20, 3
 #define WORKING_VERSION 2, 10, 0
 
 #endif