From b5336943a0febef5434484cebee1b8c5f581bb05 Mon Sep 17 00:00:00 2001
From: Dzmitry Yarmolenka <dzmitry.yarmolenka.1986@gmail.com>
Date: Tue, 10 Aug 2021 22:34:03 +0200
Subject: [PATCH] Added pipefail option to symbols generator.

Signed-off-by: Dzmitry Yarmolenka <dzmitry.yarmolenka.1986@gmail.com>
---
 tools/unix/generate_symbols.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/unix/generate_symbols.sh b/tools/unix/generate_symbols.sh
index d085904f38..e41c8318f6 100755
--- a/tools/unix/generate_symbols.sh
+++ b/tools/unix/generate_symbols.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-set -e -u
+set -euo pipefail
 
 if ! command -v optipng &> /dev/null
 then