* Reset curl options and timestamp between downloaded files. Thanks to

[apt.git] / debian / bugscript

diff --git a/debian/bugscript b/debian/bugscript
index 8423e07c26d76f39a1a23ad4d10cfd5b36da6ab8..f5ec9e05de2c9a09a382c41c157314dfcace4bc7 100755 (executable)
--- a/debian/bugscript
+++ b/debian/bugscript
@@ -1,4 +1,4 @@
-#!/bin/sh -e
+#!/bin/bash -e
 
 # reportbug #169495
 if [ -z "$YESNO" ]; then