diff --git a/util/arch/archiver.c b/util/arch/archiver.c
index 1a0e85afa..98fc79375 100644
--- a/util/arch/archiver.c
+++ b/util/arch/archiver.c
@@ -24,6 +24,9 @@
  #ifdef DISTRIBUTION
  *    D: make distribution: use distr_time, uid=2, gid=2, mode=0644
  #endif
+ #ifdef AAL
+ *    s: ignored; for compatibility with GNU ar (says to build index table)
+ #endif
  */
 
 #include <fcntl.h>
@@ -324,6 +327,10 @@ int main(int argc, char *argv[])
 			case 'D' :
 			distr_fl = TRUE;
 			break;
+#endif
+#ifdef AAL
+		case 's':
+			break;
 #endif
 		default:
 			usage();