1#!/bin/sh
2# SPDX-License-Identifier: GPL-2.0-or-later
3# Copyright (c) 2022 FUJITSU LIMITED. All rights reserved.
4
5TST_TESTFUNC=do_test
6
7do_test()
8{
9	tst_check_kconfigs "CONFIG_EXT4_FS"
10	if [ $? -eq 0 ]; then
11		tst_res TPASS "kernel .config has CONFIG_EXT4_FS"
12	else
13		tst_res TFAIL "kernel .config doesn't have CONFIG_EXT4_FS"
14	fi
15
16	tst_check_kconfigs "CONFIG_EXT4"
17	if [ $? -eq 0 ]; then
18		tst_res TFAIL "kernel .config has CONFIG_EXT4"
19	else
20		tst_res TPASS "kernel .config doesn't have CONFIG_EXT4"
21	fi
22}
23. tst_test.sh
24tst_run
25