From 5a846dbd436b23668b0bc4a30ad730f095c88e12 Mon Sep 17 00:00:00 2001
From: Akihiro Motoki <amotoki@gmail.com>
Date: Sat, 9 Sep 2023 17:54:22 +0900
Subject: [PATCH] Recover -xe bash option in generatepot.sh

As part of commit 9b939e1b404a96a70961b6e1099e5f0b291af4da,
"bash" was added when calling tools/generatepot.sh to avoid tox warning,
but as a result "-xe" option specified at the beginning of generatepot.sh
is no longer considered and we cannot see trace of generatepot.sh
in logs of upstream-translation-update job :-(

This commit explicitly set these options in the shell script
instead of the magic line (line 1).

doc-pot-filter.sh is also updated in the same way.

Change-Id: Ia2ca111cbb386ae5333d8a9a8622f7ac9b19746e
---
 tools/doc-pot-filter.sh | 4 +++-
 tools/generatepot.sh    | 4 +++-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/tools/doc-pot-filter.sh b/tools/doc-pot-filter.sh
index 7e8c008..80c2d9d 100755
--- a/tools/doc-pot-filter.sh
+++ b/tools/doc-pot-filter.sh
@@ -1,4 +1,6 @@
-#!/bin/bash -xe
+#!/bin/bash
+
+set -xe
 
 #
 # Licensed under the Apache License, Version 2.0 (the "License"); you may
diff --git a/tools/generatepot.sh b/tools/generatepot.sh
index 29741e0..47ce8a2 100755
--- a/tools/generatepot.sh
+++ b/tools/generatepot.sh
@@ -1,4 +1,6 @@
-#!/bin/bash -xe
+#!/bin/bash
+
+set -xe
 
 #
 # Licensed under the Apache License, Version 2.0 (the "License"); you may